CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness by De Bakker, Jaco, De Bruin, ... ISBN: 9780135621325

OUT OF STOCK

See Availability on Amazon
2.
Control Flow Semantics
Control Flow Semantics by De Bakker, Jaco, De Vink, Erik ISBN: 9780262041546 List Price: $85.00
$148.06
3.
Stepwise Refinement of Distributed Systems
Stepwise Refinement of Distributed Systems by Bakker, Jaco W. de, Roever,... ISBN: 9783662163795 List Price: $24.99

OUT OF STOCK

See Availability on Amazon